利用铝业废渣和副产品作为钢铁工业精炼合成渣

讨论了利用铝业的废渣和副产品作为钢铁工业的精炼合成渣的可能性和实际结果,介绍了一些将铝业废渣转化为炼钢合成渣的成功工艺,概述了脱硫方面使用铝酸钙为基的合成渣的有关理论.通过合理利用冶金废渣材料,可减少对来自冶金工业的固体废渣的总处理量.     

A methodology to quantify failure for risk-based decision support system in digital business ecosystems

In digital business ecosystem architecture it is rational for the trusting agent to analyse the possible risk according to its demand before interacting with a probable trusted agent. Doing so would assist the trusting agent in its decision process and would also give the trusting agent a hint of the direction in which the interaction might head. The possible risk in an interaction is a combination of the probability of failure and the possible consequences of failure of an interaction. In this paper, we propose a methodology by which the trusting agent determines the probability of failure in interacting with a probable trusted agent. The determined probability of failure by the trusting agent is according to the specific demand of its future interaction with the probable trusted agent.     

Applying a mediator architecture employing XML to retailing inventory control

The concept of mediation has been successfully applied to the development of distributed information systems, where mediators form the middle tier between client applications and data resources, providing valuable abstraction and integration functions. Extensible MarkUp Language (XML) has been used to develop self-describing data models and common interfaces for mediators to be deployed in Web-based information systems. This makes such systems easier to develop, to maintain, and to evolve. This paper discusses the design of such an architecture and its application in retail inventory control in electronic commerce (e-commerce). The prototype system is implemented with Java Servlets and .     

Designing technology with older people

Designing applications to support older people in their own homes is increasing in popularity and necessity. The increase in supporting older people in the community means that cash-strapped resources are required to be utilised in the most effective manner, which often lends itself to technology deployment, rather than human deployment as the former is perceived as more cost effective. Therefore, the concern arises as to how technology can be designed inclusively and acceptably to the people who are to receive it. This paper discusses the issue of design, and how these concerns have been addressed in a series of projects targeted towards directly supporting people in the community.     

Development of a Software Engineering Ontology for Multisite Software Development

This paper aims to present an ontology model of software engineering to represent its knowledge. The fundamental knowledge relating to software engineering is well described in the textbook entitled Software Engineering by Sommerville that is now in its eighth edition [1] and the white paper, Software Engineering Body of Knowledge (SWEBOK), by the IEEE [2] upon which software engineering ontology is based. This paper gives an analysis of what software engineering ontology is, what it consists of, and what it is used for in the form of usage example scenarios. The usage scenarios presented in this paper highlight the characteristics of the software engineering ontology. The software engineering ontology assists in defining information for the exchange of semantic project information and is used as a communication framework. Its users are software engineers sharing domain knowledge as well as instance knowledge of software engineering.     

Specifying the apple Macintosh™ Toolbox event manager

The Macintosh Toolbox is a collection of resources, stored in ROM, of use to software developers building user interface components. This paper documents an attempt to specify one part of the Toolbox: namely the data types and routines for event-handling. The chief objective of the paper is to illustrate an approach to building a formal specification in which, starting from simple structures, the final specification is arrived at by a process of successive modifications, generalisations, instantiations and translations. The paper also constitutes an example of the Larch algebraic style, as well as the two-tiered approach characteristic of the Larch family of specification languages.This work has been undertaken as part of the Alvey HI 059 project Formal Aspects of Interactive Dialogues, supported under SERC Grant No. GR/D/1646.8.     

Water Vapour Solubility in Tundish Slags

Ｔｈｅｈｙｄｒｏｇｅｎｃｏｎｔｅｎｔｏｆｓｔｅｅｌｉｓｏｆｇｒｅａｔｃｏｎ－ｃｅｒｎｔｏｓｔｅｅｌｍａｋｅｒｓ．Ｕｐｔｏｄａｔｅ，ｍａｎｙｉｎｖｅｓｔｉｇａ－ｔｉｏｎｓｈａｖｅｂｅｅｎｃａｒｉｅｄｏｕｔｔｏｓｔｕｄｙｔｈｅｗａｔｅｒｖａｐｏｕｒｓｏｌ...